Relational Data Base Design Using Refinement Rules

— The design of a data base schema can be organized through a set of refînement steps, that gradually introducé progressive details in the description of reality. In this approach, suitable restrictions to refînement rules allow to guarantee both conceptual and logical properties. Following this approach the formalism of hypergraphs and hypergraph grammars can be applied to investigate various aspects of data base schema design, in the framework ofthe relational model of data. In this paper we investigate, as refînement restrictions, boundings in renamings of objects and prove several results concerning meaningful properties in the relational theory o f data. Résumé. — La conception du schéma d'une base de données peut se structurer en étapes introduisant progressivement les détails de la description du monde réel. Dans ce travail, nous proposons des contraintes sur les étapes pour garantir certaines propriétés au niveau conceptuel et logique. Nous utilisons des hypergraphes et des grammaires d'hyper graphes pour étudier plusieurs aspects de la conception du schéma dune base, dans le cadre du modèle relationnel. Nous considérons des contraintes liées au changement de noms dobjects, et nous présentons des résultats liés à des propriétés importantes de la théorie relationnelle.